Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
521	UNIVERSITY OF CALIFORNIA, IRVINE Cognitive Support Features for Software Development Tools DISSERTATION Add to Reading List Source URL: argouml.tigris.org Language: English - Date: 2012-12-28 13:30:49 Human–computer interaction Technical communication Usability Science Argo State diagram Theoretical computer science Finite-state machine Communication design Models of computation Infographics Diagrams
522	Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling Makoto Kanazawa National Institue of Informatics Tokyo, Japan http://research.nii.ac.jp/˜kanazawa/ Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-29 20:41:55 Mathematics Applied mathematics Categorial grammar Lambda calculus Context-sensitive grammar Orbifold Formal languages Theoretical computer science Models of computation
523	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
524	Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Software engineering Computing Models of computation Nondeterministic finite automaton Regular language FO Regular expression J Deterministic finite automaton Automata theory Formal languages Theoretical computer science
525	λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Computability theory Theory of computation Lambda calculus Formal methods Models of computation Combinatory logic Church–Turing thesis Turing machine Entscheidungsproblem Mathematics Theoretical computer science Mathematical logic
526	Refinement Checking of Self-Adaptive Embedded Component Architectures∗ Christian Heinzemann, Stefan Henkler Martin Hirsch Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:31 Automata theory Diagrams UML diagrams Digital electronics Computing UML state machine State diagram Graph rewriting Finite-state machine Models of computation Software engineering Theoretical computer science
527	Equality Is a Jump Paolo Boldi∗ Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano {boldi,vigna}@dsi.unimi.it Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:21 Computability theory Polynomials Turing machine Models of computation Field theory Irreducible polynomial Field extension Computability Polynomial ring Abstract algebra Mathematics Theoretical computer science
528	A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage School of Computer Science and IT, Nottingham University email: {txa,jjg}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:42:44 Applied mathematics Models of computation Quantum mechanics Symbol Quantum circuit Quantum computer Quantum operation Quantum programming Quantum gate Theoretical computer science Quantum information science Physics
529	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
530	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics

UPDATE